Tootfinder

Für die breite Verwendung von #KI, speziell im Kontext #Schule, muss sichergestellt sein, dass #LLMs user:innen nicht zu selbstgefährdendem Verhalten animieren.
Das Nonprofit Transluce arbeitet an verschie…

Surfacing Pathological Behaviors in Language Models
We train reinforcement learning (RL) agents to craft realistic natural-language prompts that elicit specified behaviors in frontier open-weight models (Llama 3.1/4, Qwen 2.5, and DeepSeek-V3), using a proposed variational lower bound to guide the search.

„Weil unser Land so gut verhandelt habe, hieß es, „dürfen“ bei Olympia auch Speck und Äpfel, Milch und Schüttelbrot angeboten werden – und das trotz eines Exklusivvertrags mit Coca-Cola.
All das für eine läppische Millionensumme (zusätzlich zu den bisherigen Millionensummen), von deren genauer Höhe wir nichts erfahren, nur dass sie „3,6-mal wirksamer ist als jenes anderer Sport-Sponsorings“. Eine Zahl, so präzise, dass man nie auf die Idee käme, ihr zu misstrauen.“

There was an older lady in the train sitting across from us who was literally opening up a bottle of cough syrup and chugging it. We were wearing masks, she was not.
Perfect timing for our visit: https://aus.social/@DenisCOVIDinfoguy/114628380231359490

Denis - The COVID info guy - (@DenisCOVIDinfoguy@aus.social)
Attached: 1 image 🇬🇧 UK: Doctors call for return of face masks after new COVID strain reaches UK. In the UK, cases of the new COVID variant NB.1.8.1 have been reported. WHO is monitoring due to its rapid spread and possible resistance to prior infection or vaccination. Source: https://archive.md/DTVHw @auscovid19@a.gup.pe

Nim on Integer Partitions and Hyperrectangles
Eric Gottlieb, Matja\v{z} Krnc, Peter Mur\v{s}i\v{c}
https://arxiv.org/abs/2506.04991 https://

Nim on Integer Partitions and Hyperrectangles
We describe PNim and RNim, two variants of Nim in which piles of tokens are replaced with integer partitions or hyperrectangles. In PNim, the players choose one of the integer partitions and remove a positive number of rows or a positive number of columns from the Young diagram of that partition. In RNim, players choose one of the hyperrectangles and reduce one of its side lengths. For PNim, we find a tight upper bound for the Sprague-Grundy values of partitions and characterize partitions wi…

This https://arxiv.org/abs/2503.09831 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Strong normalization through idempotent intersection types: a new syntactical approach
It is well-known that intersection type assignment systems can be used to characterize strong normalization (SN). Typical proofs that typable lambda-terms are SN in these systems rely on semantical techniques. In this work, we study $Λ_\cap^e$, a variant of Coppo and Dezani's (Curry-style) intersection type system, and we propose a syntactical proof of strong normalization for it. We first design $Λ_\cap^i$, a Church-style version, in which terms closely correspond to typing derivations. Then…

Improving the average dilation of a metric graph by adding edges
Sariel Har-Peled, Eliot W. Robson
https://arxiv.org/abs/2506.04246 https://

Improving the average dilation of a metric graph by adding edges
For a graph $G$ spanning a metric space, the dilation of a pair of points is the ratio of their distance in the shortest path graph metric to their distance in the metric space. Given a graph $G$ and a budget $k$, a classic problem is to augment $G$ with $k$ additional edges to reduce the maximum dilation. In this note, we consider a variant of this problem where the goal is to reduce the average dilation for pairs of points in $G$. We provide an $O(k)$ approximation algorithm for this proble…

This https://arxiv.org/abs/2505.11197 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…

Modeling Cell Dynamics and Interactions with Unbalanced Mean Field Schrödinger Bridge
Modeling the dynamics from sparsely time-resolved snapshot data is crucial for understanding complex cellular processes and behavior. Existing methods leverage optimal transport, Schrödinger bridge theory, or their variants to simultaneously infer stochastic, unbalanced dynamics from snapshot data. However, these approaches remain limited in their ability to account for cell-cell interactions. This integration is essential in real-world scenarios since intercellular communications are fundamen…

Großartige Linkvorschau in :signal: #Signal für die #TaxTheRich Petition in Deutschland 😁
https://

Hive is PSPACE-Hard
Dani\"el Andel, Benjamin Rin
https://arxiv.org/abs/2506.03492 https://arxiv.org/pdf/2506.03492

Hive is PSPACE-Hard
Hive is an abstract strategy game played on a table with hexagonal pieces. First published in 2001, it was and continues to be highly popular among both casual and competitive players. In this paper, we show that for a suitably generalized version of the game, the computational problem of determining whether a given player in an arbitrary position has a winning strategy is PSPACE-hard. We do this by reduction from a variant of Generalized Geography we call Formula Game Geography.

Minimal Pair-Based Evaluation of Code-Switching
Igor Sterner, Simone Teufel
https://arxiv.org/abs/2506.01840 https://arxiv.org/pdf/25…

Minimal Pair-Based Evaluation of Code-Switching
There is a lack of an evaluation methodology that estimates the extent to which large language models (LLMs) use code-switching (CS) in the same way as bilinguals. Existing methods do not have wide language coverage, fail to account for the diverse range of CS phenomena, or do not scale. We propose an intervention based on minimal pairs of CS. Each minimal pair contains one naturally occurring CS sentence and one minimally manipulated variant. We collect up to 1,000 such pairs each for 11 langu…